12
Notation of ADT
w Each ADT description consists of two parts:
Data:
n This part describes the structure of the data used in the ADT in an informal way.
Operations:
n This part describes valid operations for this ADT, hence, it describes its interface. We use the special operation constructor to describe the actions which are to be performed once an entity of this ADT is created and destructor to describe the actions which are to be performed once an entity is destroyed. For each operation the provided arguments as well as preconditions and postconditions are given.